| 1. | In this context the decision is a boolean expression composed of conditions and zero or more boolean operators.
Décision Une décision est une expression booléenne composée de Conditions et éventuellement d'opérateurs booléens. |
| 2. | An instance of the Boolean satisfiability problem is a Boolean expression that combines Boolean variables using Boolean operators.
Une instance de SAT est une expression booléenne qui combine des variables booléennes avec des opérateurs booléens. |
| 3. | Boolean expressions in conditional statements usually also fit this definition of a guard although they are called conditions.
Les expressions booléennes dans une instruction conditionnelle répondent aussi à la définition de garde mais elles sont appelées conditions. |
| 4. | SETL provides quantified boolean expressions constructed using the universal and existential quantifiers of first-order predicate logic.
SETL permet d'exprimer des expressions booléennes quantifiées construites en utilisant le calcul des prédicats du premier ordre, les quantificateurs universels et quantificateurs existentiels. |
| 5. | In computer programming, a guard is a boolean expression that must evaluate to true if the program execution is to continue in the branch in question.
En informatique, une garde est une expression de type booléen qui a pour valeur vrai si l'exécution du programme doit continuer dans la branche en question. |
